- formal program validation
- формальное доказательство правильности программы
English-Russian dictionary of computer science and programming. 2013.
formal program validation
Смотреть что такое "formal program validation" в других словарях:
Validation rule — A Validation rule is a criterion used in the process of data validation, carried out after the data has been encoded onto an input medium and involves a data vet or validation program. This is distinct from formal verification, where the… … Wikipedia
Verification and validation — IV V redirects here. For NASA s IV V Facility, see Independent Verification and Validation Facility. Verification and validation is the process of checking that a product, service, or system meets specifications and that it fulfills its intended… … Wikipedia
Verification and Validation — Verification Validation is the process of checking that a product, service, or system meets specifications and that it fulfils its intended purpose. These are critical components of a quality management system such as ISO… … Wikipedia
VAE (Validation des Acquis de l'Experience) — The VAE or Validation des Acquis de l Expérience is a procedure that allows any French educational institution to grant degrees partly or totally on work experience. A porfolio of the applicant s achievements and work experience is presented to a … Wikipedia
Independent software verification and validation — ISVV stands for Independent Software Verification and Validation. ISVV is targeted at safety critical software systems and aims to increase the quality of software products, thereby reducing risks and costs through the operational life of the… … Wikipedia
TM-Sidhi program — The TM Sidhi program is a form of meditation introduced by Maharishi Mahesh Yogi in 1975. It is based on, and described as a natural extension of the Transcendental Meditation technique (TM).[1][2] The purpose of the TM Sidhi program is to… … Wikipedia
SPARK (programming language) — infobox programming language name = SPARK influenced by = Ada, HAL/SSPARK is a formally defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software… … Wikipedia
SHA hash functions — The SHA hash functions are a set of cryptographic hash functions designed by the National Security Agency (NSA) and published by the NIST as a U.S. Federal Information Processing Standard. SHA stands for Secure Hash Algorithm. The five algorithms … Wikipedia
Praxis High Integrity Systems — (formerly known as Praxis Critical Systems) is a British software house that specialises in critical systems. They are based in Bath, England and since 2001 also have offices in London and Loughborough.The company Praxis Systems Limited was… … Wikipedia
Nonformal learning — Non formal learning is a distinction in learning between formal and informal learning. It is learning that occurs in a formal learning environment, but that is not formally recognised. It typically involves workshops, community courses, interest… … Wikipedia
Specification (technical standard) — Specification redirects here. For other uses, see Specification (disambiguation). A specification (often abbreviated as spec) is an explicit set of requirements to be satisfied by a material, product, or service.[1] Should a material, product or… … Wikipedia
